CafePie: A Visual Programming System for CafeOBJ
نویسندگان
چکیده
CafePie is a visual programming system for CafeOBJ, an algebraic specification language based on term rewriting. Program editing and execution in CafePie are performed in one window. All program editing operations are handled in a uniform manner. An abstract visualization schema is necessary to understand the program at the programming language level. In this paper, we propose visualized term rewriting with more realistic expressions. With our approach, users can customize the term expression as they like by using visual transformation rules. These rules can also be edited using drag-anddrop operations.
منابع مشابه
Double-Click and Drag-and-Drop in Visual Programming Environment for CafeOBJ
This paper describes a visual programming environment for an algebraic specification language where program editing and execution are shown visually. By expressing a program visually, programming becomes more intuitive and easier. We have developed the visual programming system CafePie for the algebraic specification language CafeOBJ. In CafePie, program editing and execution are all performed ...
متن کاملRealistic Program Visualization in CafePie
CafePie is a visual programming environment for CafeOBJ, an algebraic specification language based on term rewriting. CafePie shows term rewriting directly by using two types of visualizations: animated cartoon-like and Obi-shaped. A more abstract visualization schema is necessary instead of program understanding at the programming language level. Therefore we investigate the visualization sche...
متن کاملCafePie – A Visual Programming Environment for CafeOBJ
We have implemented a visual programming system CafePie. Program editing and execution in CafePie are performed in one window. All program editing operations are handled in a uniform manner. We propose to customize the object views, which prescribe the visible part of the program object. Data structures of the program can be visualized as users like by using visual transformation rules. These r...
متن کاملLogical Semantics for CafeOBJ
This paper presents the semantics of CafeOBJ system and language. CafeOBJ is a succesor of the famous algebraic specification and programming language OBJ but adding several new primitive paradigms to the traditional OBJ language, such as rewriting logic, and behavioural concurrent specification. We do not address here the detalied mathematical aspects of CafeOBJ semantics (which sometimes coul...
متن کاملA study of a tool platform for developing formal specification
Since computer systems are pervasive and have a major impact on society, such systems must be built safely and reliably. One of the existing approaches to this issue is to formally model (the designs of) such systems and formally verify that they have desired properties. Computer systems are often modeled as transition systems. If a computer system can be modeled as a finite transition system, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000